The model function for induction of Goodmans's composite predicate "Grue" was examined by analysis. Two subpredicates were found, each containing two further predicates which are mutually exclusive (green and blue, observed before and after t). The rules for the inductive processing of composite predicates were studied with the more familiar predicate "blellow" (blue and yellow) for violets and primroses. The following rules for induction were violated by processing "grue": From two subpredicates only one (blue after t) appears in the conclusion. (...) As a statement about a future and unobserved condition this subpredicate, however, is not projectible for induction whereas the only suitable predicate (green before t) does not show up in the conclusion. In a disjunction "a v b" where "a" is true and "b" false the disjunction is true. When, however, the only true component is dropped, what remains is necessarily false. An analogous mistake may be observed in the processing of "grue", where the only true component (green) was dropped in the conclusion. - As a potent criterion for correct inductions a check of the necessity of the conclusions is recommended. (shrink)

There are various equivalent formulations of the Church-Turing thesis. A common one is that every effective computation can be carried out by a Turing machine. The Church-Turing thesis is often misunderstood, particularly in recent writing in the philosophy of mind.

To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase of a certain kind. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against (...) a difficulty that has persistently been raised against it, and undercuts various objections that have been made to the computational theory of mind. (shrink)

This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.

A survey of the field of hypercomputation, including discussion of a variety of objections.

Turing''s test has been much misunderstood. Recently unpublished material by Turing casts fresh light on his thinking and dispels a number of philosophical myths concerning the Turing test. Properly understood, the Turing test withstands objections that are popularly believed to be fatal.

Presupposing no familiarity with the technical concepts of either philosophy or computing, this clear introduction reviews the progress made in AI since the inception of the field in 1956. Copeland goes on to analyze what those working in AI must achieve before they can claim to have built a thinking machine and appraises their prospects of succeeding.There are clear introductions to connectionism and to the language of thought hypothesis which weave together material from philosophy, artificial intelligence and neuroscience. John Searle's (...) attacks on AI and cognitive science are countered and close attention is given to foundational issues, including the nature of computation, Turing Machines, the Church-Turing Thesis and the difference between classical symbol processing and parallel distributed processing. The book also explores the possibility of machines having free will and consciousness and concludes with a discussion of in what sense the human brain may be a computer. (shrink)

Accelerating Turing machines have attracted much attention in the last decade or so. They have been described as “the work-horse of hypercomputation” (Potgieter and Rosinger 2010: 853). But do they really compute beyond the “Turing limit”—e.g., compute the halting function? We argue that the answer depends on what you mean by an accelerating Turing machine, on what you mean by computation, and even on what you mean by a Turing machine. We show first that in the current literature the term (...) “accelerating Turing machine” is used to refer to two very different species of accelerating machine, which we call end-stage-in and end-stage-out machines, respectively. We argue that end-stage-in accelerating machines are not Turing machines at all. We then present two differing conceptions of computation, the internal and the external, and introduce the notion of an epistemic embedding of a computation. We argue that no accelerating Turing machine computes the halting function in the internal sense. Finally, we distinguish between two very different conceptions of the Turing machine, the purist conception and the realist conception; and we argue that Turing himself was no subscriber to the purist conception. We conclude that under the realist conception, but not under the purist conception, an accelerating Turing machine is able to compute the halting function in the external sense. We adopt a relatively informal approach throughout, since we take the key issues to be philosophical rather than mathematical. (shrink)

Accelerating Turing machines are Turing machines of a sort able to perform tasks that are commonly regarded as impossible for Turing machines. For example, they can determine whether or not the decimal representation of contains n consecutive 7s, for any n; solve the Turing-machine halting problem; and decide the predicate calculus. Are accelerating Turing machines, then, logically impossible devices? I argue that they are not. There are implications concerning the nature of effective procedures and the theoretical limits of computability. Contrary (...) to a recent paper by Bringsjord, Bello and Ferrucci, however, the concept of an accelerating Turing machine cannot be used to shove up Searle's Chinese room argument. (shrink)

Turing’s analysis of computability has recently been challenged; it is claimed that it is circular to analyse the intuitive concept of numerical computability in terms of the Turing machine. This claim threatens the view, canonical in mathematics and cognitive science, that the concept of a systematic procedure or algorithm is to be explicated by reference to the capacities of Turing machines. We defend Turing’s analysis against the challenge of ‘deviant encodings’.Keywords: Systematic procedure; Turing machine; Church–Turing thesis; Deviant encoding; Acceptable encoding; (...) Turing’s analysis of computability; Turing’s Notational Thesis. (shrink)

What are the limits of physical computation? In his ‘Church’s Thesis and Principles for Mechanisms’, Turing’s student Robin Gandy proved that any machine satisfying four idealised physical ‘principles’ is equivalent to some Turing machine. Gandy’s four principles in effect define a class of computing machines (‘Gandy machines’). Our question is: What is the relationship of this class to the class of all (ideal) physical computing machines? Gandy himself suggests that the relationship is identity. We do not share this view. We (...) will point to interesting examples of (ideal) physical machines that fall outside the class of Gandy machines and compute functions that are not Turing-machine computable. (shrink)

Joint attention has been extensively studied in the developmental literature because of overwhelming evidence that the ability to socially coordinate visual attention to an object is essential to healthy developmental outcomes, including language learning. The goal of this study was to understand the complex system of sensory-motor behaviors that may underlie the establishment of joint attention between parents and toddlers. In an experimental task, parents and toddlers played together with multiple toys. We objectively measured joint attention—and the sensory-motor behaviors that (...) underlie it—using a dual head-mounted eye-tracking system and frame-by-frame coding of manual actions. By tracking the momentary visual fixations and hand actions of each participant, we precisely determined just how often they fixated on the same object at the same time, the visual behaviors that preceded joint attention and manual behaviors that preceded and co-occurred with joint attention. We found that multiple sequential sensory-motor patterns lead to joint attention. In addition, there are developmental changes in this multi-pathway system evidenced as variations in strength among multiple routes. We propose that coordinated visual attention between parents and toddlers is primarily a sensory-motor behavior. Skill in achieving coordinated visual attention in social settings—like skills in other sensory-motor domains—emerges from multiple pathways to the same functional end. (shrink)

Visual research methods like photography and digital storytelling are increasingly used in health and social sciences research as participatory approaches that benefit participants, researchers, and audiences. Visual methods involve a number of additional ethical considerations such as using identifiable content and ownership of creative outputs. As such, ethics committees should use different assessment frameworks to consider research protocols with visual methods. Here, we outline the limitations of ethics committees in assessing projects with a visual focus and highlight the sparse knowledge (...) on how researchers respond when they encounter ethical challenges in the practice of visual research. We propose a situated approach in relation to visual methodologies that encompasses a negotiated, flexible approach, given that ethical issues usually emerge in relation to the specific contexts of individual research projects. Drawing on available literature and two case studies, we identify and reflect on nuanced ethical implications in visual research, like tensions between aesthetics and research validity. The case studies highlight strategies developed in-situ to address the challenges two researchers encountered when using visual research methods, illustrating that some practice implications are not necessarily addressed using established ethical clearance procedures. A situated approach can ensure that visual research remains ethical, engaging, and rigorous. (shrink)

Searle has recently used two adaptations of his Chinese room argument in an attack on connectionism. I show that these new forms of the argument are fallacious. First I give an exposition of and rebuttal to the original Chinese room argument, and then a brief introduction to the essentials of connectionism.

B. J. Copeland; Discussions: Vagueness and Bivalence: A Discussion of Williamson and Simons, Proceedings of the Aristotelian Society, Volume 95, Issue 1, 1 June.

Theists believe that God is eternal, but they differ as to just what God's eternality means . The traditional, historic view of most Christian philosophers is that eternality means that God is timeless. He is ‘outside’ of time and not subject to any kind of temporal change. Indeed, God is the creator of time. Lets call this view divine timelessness.

The growing interest in Africa as well as concerns about negative deviant behaviors and ethnic structures necessitates examination of the effect of ethnic expectations on behavior of employees. In this study we leverage insight from ethnos oblige theory to propose that centralization of ethnic norms moderates the relationship between benevolence expectations and negative deviant behavior. Using a cross-sectional design and data from two countries as well as moderation and cross-cultural analytic techniques, we find support for three-way interactions where the relationship (...) between benevolence and negative deviant behavior is moderated by centralization and culture. We discuss the implications of the findings which support the dynamic perspective of management in Africa. (shrink)

Despite organizational ethical training programs, some employees still engage in unethical behavior. As such, organizational researchers have sought to examine why employees engage in unethical behavior and whether interventions can improve ethical misconduct. While some instruments measure moral development or ethical/unethical behaviors toward the organization, this study utilized a unique scale which evaluates perceptions of ethical misconduct (PEMS). Data from a large Midwestern university, a large Southeastern university, and Amazon’s Mechanical Turk were used in the analyses. An exploratory and confirmatory (...) factor analyses were used in the creation of the PEMS. To examine the validity of the scale, the PEMS was correlated to scales which measure Dark Triad traits and Counterproductive Work Behaviors (CWBs). Findings showed a significant positive correlation between the PEMS and both scales. The results also show that the PEMS mediates the relationship between psychopathy and CWBs. (shrink)

Respected modern scholars regard the pre-Buddhist philosopher Sañjaya Belaṭṭhiputta—a significant figure in the Buddhist canon—as the originator of the important classical argument- forms known as the catuṣkoṭi and catuṣkoṭi vinirmukta. We argue that the early Buddhist texts do not in fact support this view of the origin of these argument-forms; the question of their origin is open. While it is certainly true that the Pāli Sāmaññaphala Sutta and some of its parallels portray Sañjaya as deploying the catuṣkoṭi, there is nothing (...) in these passages to suggest that he was its originator. The situation concerning the catuṣkoṭi vinirmukta is perhaps even more surprising: There is nothing in the early Pāli texts and their parallels—nor in Buddhagosa’s famous Pāli commentary on the early texts—to show that Sañjaya even deployed the catuṣkoṭi vinirmukta let alone originated it. Further, our investigations also call into question the standard portrayal of Sañjaya as an obfuscator and prevaricator. It appears he may have been a more interesting and able philosopher than the Sāmaññaphala Sutta—and modern accounts based on it—maintain. (shrink)

This research explores the contextual approach within Christian-Jewish religious education, addressing a notable gap in existing literature and offering fresh insights into the application of the Contextual Teaching and Learning (CTL) model within Christian contexts. Through a qualitative literature study employing a three-step methodology, including an in-depth analysis of Deuteronomy 11:19–20, this study reveals that this biblical text provides both educational guidance and theological significance, serving as a foundational support for the CTL model in Christian-Jewish religious education. The integration of (...) digital media into biblical sources holds promise for future research, while the central challenge lies in harmonising life experiences and empirical phenomena with biblical reflections to seamlessly integrate inquiry processes and pedagogical phases, with potential avenues for further exploration in scripture models endorsing CTL. This research provides valuable insights for educators, parents and policymakers in Indonesia and beyond, advancing educational research in contextualised teaching models within religious education.Contribution: This article demonstrates that the CTL model in the digital era has the potential to revolutionise religious education and profoundly impact learners, making it a significant scientific contribution in the context of Christian-Jewish religious education. (shrink)

This article provides a detailed analysis of the transfer of a key cluster of ideas from mathematical logic to computing. We demonstrate the impact of certain of Turing’s logico-philosophical concepts from the mid-1930s on the emergence of the modern electronic computer—and so, in consequence, Turing’s impact on the direction of modern philosophy, via the computational turn. We explain why both Turing and von Neumann saw the problem of developing the electronic computer as a problem in logic, and we describe their (...) joint journey from logic to electronic computation. While much has been written about Turing’s and von Neumann’s individual contributions to the development of the computer, this article investigates less well-known terrain: their interactions and mutual influences. Along the way we argue against ‘logic skeptics’ and ‘Turing skeptics’, who claim that neither logic nor Turing played any significant role in the creation of the modern computer. (shrink)

This paper charts some early history of the possible worlds semantics for modal logic, starting with the pioneering work of Prior and Meredith. The contributions of Geach, Hintikka, Kanger, Kripke, Montague, and Smiley are also discussed.